Skip to content
This repository was archived by the owner on Aug 5, 2025. It is now read-only.

chore: dart format, make a private field final - #817

Merged
gkc merged 1 commit into
trunkfrom
cleanup-for-publishing
Aug 2, 2025
Merged

chore: dart format, make a private field final#817
gkc merged 1 commit into
trunkfrom
cleanup-for-publishing

Conversation

@gkc

@gkc gkc commented Aug 2, 2025

Copy link
Copy Markdown
Contributor

cleanup at_lookup before publishing

@gkc
gkc merged commit 1494a12 into trunk Aug 2, 2025
13 checks passed
@gkc
gkc deleted the cleanup-for-publishing branch August 2, 2025 17:57
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants